null($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\cdot$